《郑州大学学报(工学版)》
过刊查询页面
关键词中包括
SAT 问题
的文章
1
可满足性问题的结构特征进展综述
王晓峰
1,2
, 庞立超
1
, 莫淳惠
1
, 杨 易
1
, 赵星宇
1
, 杨 澜
1
2023年06期 [40－47][
摘要
](
644
)
[
pdf
988KB]
(
504
)
DOI:
10.13705/j.issn.1671-6833.2023.03.013